-- MAIN == 2
DEF MAIN:nat == IF eq(2,2) THEN 2 FI
